<html>
<head><meta charset="utf-8"><title>I-prioritize #77477 simd_insert and simd_extract allow garb… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html">I-prioritize #77477 simd_insert and simd_extract allow garb…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="212154106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212154106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212154106">(Oct 03 2020 at 05:16)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/77477">#77477</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="212154212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212154212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212154212">(Oct 03 2020 at 05:21)</a>:</h4>
<p>I think we need to confirm this is a bug before prioritizing it</p>



<a name="212154220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212154220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212154220">(Oct 03 2020 at 05:22)</a>:</h4>
<p>(clearly the miri ICE is a bug, but not sure about the unsafe code)</p>



<a name="212157816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212157816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212157816">(Oct 03 2020 at 07:13)</a>:</h4>
<p>looks like we don't actually validate this somewhere and miri expects it to be validated</p>



<a name="212157840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212157840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212157840">(Oct 03 2020 at 07:14)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/blob/8c54cf67c1bdae93ecef9791dc07c0982bb76041/compiler/rustc_mir/src/interpret/intrinsics.rs#L393-L399">https://github.com/rust-lang/rust/blob/8c54cf67c1bdae93ecef9791dc07c0982bb76041/compiler/rustc_mir/src/interpret/intrinsics.rs#L393-L399</a></p>



<a name="212157964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212157964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212157964">(Oct 03 2020 at 07:17)</a>:</h4>
<p>I wasn't able to find if an incorrect index is supposed to be an error or UB <span aria-label="shrug" class="emoji emoji-1f937" role="img" title="shrug">:shrug:</span></p>



<a name="212157968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212157968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212157968">(Oct 03 2020 at 07:17)</a>:</h4>
<p>anyways, I guess this looks <code>P-medium</code> to me</p>



<a name="212158021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212158021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212158021">(Oct 03 2020 at 07:18)</a>:</h4>
<p>seems fine to me, anywhere that has <code>unsafe</code> I think it's reasonable to put the onus on the caller</p>



<a name="212158115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212158115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212158115">(Oct 03 2020 at 07:21)</a>:</h4>
<blockquote>
<p>seems fine to me, anywhere that has unsafe I think it's reasonable to put the onus on the caller</p>
</blockquote>
<p>a bit unrelated but I actually disagree there <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span> even for unsafe code we should prevent as much "certainly wrong" unsafe code as possible.<br>
i.e. with <code>CString::as_ptr</code> adding the lint to the compiler is extremely valuable imo</p>



<a name="212158169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212158169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212158169">(Oct 03 2020 at 07:22)</a>:</h4>
<p>yes, that's fair enough</p>



<a name="212182938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212182938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212182938">(Oct 03 2020 at 18:05)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/77477">#77477</a>'s prioritization request has been removed.</p>



<a name="212182945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212182945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212182945">(Oct 03 2020 at 18:05)</a>:</h4>
<p>Assigned <code>P-medium</code></p>



<a name="212183012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377477%20simd_insert%20and%20simd_extract%20allow%20garb%E2%80%A6/near/212183012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377477.20simd_insert.20and.20simd_extract.20allow.20garb.E2.80.A6.html#212183012">(Oct 03 2020 at 18:06)</a>:</h4>
<p>Yeah you're supposed to generally have a bounded set of invariants to uphold, not literally anything.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>